Second-order sufficient optimality conditions for local and global nonlinear programming

This paper presents a new approach to the suucient conditions of nonlinear programming. Main result is a suucient condition for the global optimality of a Kuhn-Tucker point. This condition can be veriied constructively, using a novel convexity test based on interval analysis, and is guaranteed to prove global optimality of strong local minimizers for suuciently narrow bounds. Hence it is expected to be a useful tool within branch and bound algorithms for global optimization.